<!DOCTYPE HTML PUBLIC "-//W3C//DTD HTML 4.01 Transitional//EN">
<html>
  <body>
    <p>
      Code for constructing symmetry-breaking predicates.
      For some references, see http://ilya.cc/symmetry
    <p>
    <hr>
    <address><a href="mailto:ilya_shl@mit.edu"></a></address>
<!-- Created: Sat Jun 15 18:40:35 Eastern Daylight Time 2002 -->
<!-- hhmts start -->
Last modified: Sun Dec  1 12:08:49 EST 2002
<!-- hhmts end -->
  </body>
</html>
